- вывод от противного
- n
law. Rückschluß
Универсальный русско-немецкий словарь. Академик.ру. 2011.
вывод от противного
Смотреть что такое "вывод от противного" в других словарях:
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… … Философская энциклопедия
Доказательство от противного — (лат. reductio ad absurdum) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… … Большая советская энциклопедия
Метод от противного — Апагогия логический приём, которым доказывается несостоятельность какого нибудь мнения таким образом, что или в нём самом, или же в необходимо из него вытекающих следствиях мы открываем противоречие. Поэтому апогогическое доказательство является… … Википедия
Логическое толкование — способ толкования, при котором смысл нормы выясняется в ходе исследования логического построения правовых предписаний, основанный на непосредственном использовании законов и правил логики. Логическое толкование это уяснение содержания правовой… … Элементарные начала общей теории права
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Колмогоровская сложность — В алгоритмической теории информации колмогоровская сложность объекта (такого, как текст) есть мера вычислительных ресурсов, необходимых для точного определения этого объекта. Колмогоровская сложность также известна как описательная сложность,… … Википедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
Эмиссия — (Emission) Эмиссия это выпуск в обращение денег и ценных бумаг Общее понятие эмиссии, денежная эмиссия, эмиссия ценных бумаг, связь эмиссии и инфляции Содержание >>>>>>>>>> … Энциклопедия инвестора
АРГУМЕНТАЦИЯ — (от лат. argumentatio приведение аргументов) приведение доводов с намерением изменить убеждения др. стороны (аудитории). В числе таких доводов могут быть ссылки на опыт, на более общие и кажущиеся достоверными принципы, на принятую систему… … Философская энциклопедия
Крестьяне — Содержание: 1) К. в Западной Европе. 2) История К. в России до освобождения (1861). 3) Экономическое положение К. после освобождения. 4) Современное административное устройство К. I. К. в Западной Европе. Судьбы крестьянского или земледельческого … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
